Varieties of Indefinite Extensibility

A Note on Gabriel Uzquiano’s ‘varieties of Indefinite Extensibility’

This is an author produced version of A note on Gabriel Uzquiano's 'Varieties of Indefinite Extensibility'

The indefinite article – Indefinite ? – Article ?

Perlmutter (1970) argued that the indefinite article is categorically different from the definite article and proposed that it is a clitic version of the numeral "one". But there are, as Perlmutter himself pointed out, instances of "a" as well as of "one" that don't seem to have the semantics of the numeral. Hence a divorce of "a" (and of "one") from "numeral"-hood is called for. Furthermore, t...

Extensibility for the Masses - Practical Extensibility with Object Algebras

This paper presents a new solution to the expression problem (EP) that works in OO languages with simple generics (including Java or C#). A key novelty of this solution is that advanced typing features, including F-bounded quantification, wildcards and variance annotations, are not needed. The solution is based on object algebras, which are an abstraction closely related to algebraic datatypes ...

On Extensibility of Proof Checkers